Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
41	Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification Add to Reading List Source URL: proval.lri.fr - Date: 2012-05-14 03:25:02
42	Software Verification with VeriFast: Industrial Case StudiesI Pieter Philippaerts, Jan Tobias M¨ uhlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-300 Add to Reading List Source URL: lirias.kuleuven.be
43	Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014 Add to Reading List Source URL: dl.dropboxusercontent.com
44	Compositional Algorithmic Verification of Software Product Lines Ina Schaefer1 , Dilian Gurov2 , and Siavash Soleimanifard2 1 2 Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:20
45	Automatic Software Verification Spring Semester, 2015 Lecture 3: March 24, 2015 Lecturer: Prof. Mooly Sagiv Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-05-25 10:56:33
46	Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland Add to Reading List Source URL: staff.um.edu.mt - Date: 2015-10-09 11:50:15
47	Noname manuscript No. (will be inserted by the editor) Proof Repositories for Compositional Verification of Evolving Software Systems Managing Change When Proving Software Correct Add to Reading List Source URL: einarj.at.ifi.uio.no - Date: 2016-10-06 03:02:24
48	Automatic Software Verification Ex. 1: SAT and SMT Due Code Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-03-31 11:59:58
49	Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures Huy Tran and Uwe Zdun Software Architecture Research Group University of Vienna, Austria. Email: huy.tran\|uwe.zdun@univie Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2013-12-19 04:37:54
50	Lifelong Verification of Software Systems Christian Colombo Mark Micallef Gordon J. Pace Add to Reading List Source URL: staff.um.edu.mt - Date: 2014-04-03 02:03:55